Ana Cavalli: шукати на сайті Z-Library

Найбільша колекція наукових статей у сіті. 70,000,000+ безкоштовних статей.

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги
Статті (211)
Найпопулярніші
Перелік
- Перелік
- Таблиця

A study of intrusion-tolerant routing in Wireless sensor Networks

La Vin Hoa,Cavalli Ana

Журнал:

Труды Института системного программирования РАН

Рік:

2014

Мова:

english

Файл:

PDF, 461 KB

english, 2014

Extended Finite State Machine based Test Derivation Strategies for Telecommunication Protocols

Natalia Kushik,Anton Kolomeez,Ana R. Cavalli

Журнал:

Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering

Рік:

2014

Мова:

english

Файл:

PDF, 200 KB

english, 2014

A Framework for Testing and Monitoring Security Policies: Application to an Electronic Voting System

Toumi, Khalifa, Aouadi, Mohamed, Cavalli, Ana R, Mallouli, Wissam, Allepuz, Jordi Puiggal, Montfort, Pol Valletb

Журнал:

The Computer Journal

Рік:

2018

Мова:

english

Файл:

PDF, 1017 KB

english, 2018

Increasing the fish diversity of the Triassic faunas of Gondwana: a new redfieldiiform (Actinopterygii) from the Middle Triassic of Argentina and its palaeobiogeographical implications

Gouiric-Cavalli, Soledad, Zavattieri, Ana M., Gutierrez, Pedro R., Cariglino, Bárbara, Balarino, Lucía, Johanson, Zerina

Журнал:

Papers in Palaeontology

Рік:

2017

Мова:

english

Файл:

PDF, 18.47 MB

english, 2017

Non-native fish species in Neotropical freshwaters: how did they arrive, and where did they come from?

Gubiani, Éder André, Ruaro, Renata, Ribeiro, Vinícius Ricardo, Eichelberger, Ana Cristina Algeri, Bogoni, Raquel Fernanda, Lira, Angélica Dorigon, Cavalli, Daiane, Piana, Pitágoras Augusto, da Graça,

Журнал:

Hydrobiologia

Рік:

2018

Мова:

english

Файл:

PDF, 1.82 MB

english, 2018

Correlations among antiangiogenic factors and trace elements in hypertensive disorders of pregnancy

Rezende, Vania B., Barbosa, Fernando, Palei, Ana C., Cavalli, Ricardo C., Tanus-Santos, Jose E., Sandrim, Valeria C.

Журнал:

Journal of Trace Elements in Medicine and Biology

Рік:

2015

Мова:

english

Файл:

PDF, 337 KB

english, 2015

On adaptive experiments for nondeterministic finite state machines

Kushik, Natalia, El-Fakih, Khaled, Yevtushenko, Nina, Cavalli, Ana R.

Журнал:

International Journal on Software Tools for Technology Transfer (STTT)

Рік:

2016

Мова:

english

Файл:

PDF, 885 KB

english, 2016

Positive correlations between circulating adiponectin and MMP2 in preeclampsia pregnant

Eleuterio, Nibia Mariana, Palei, Ana C.T., Rangel Machado, Jackeline S., Tanus-Santos, Jose E., Cavalli, Ricardo C., Sandrim, Valeria C.

Журнал:

Pregnancy Hypertension: An International Journal of Women's Cardiovascular Health

Рік:

2015

Мова:

english

Файл:

PDF, 257 KB

english, 2015

[IEEE 2016 IEEE 30th International Conference on Advanced Information Networking and Applications (AINA) - Crans-Montana, Switzerland (2016.3.23-2016.3.25)] 2016 IEEE 30th International Conference on Advanced Information Networking and Applications (AINA) - Network Monitoring Using MMT: An Application Based on the User-Agent Field in HTTP Headers

La, Vinh Hoa, Fuentes, Raul, Cavalli, Ana R.

Рік:

2016

Мова:

english

Файл:

PDF, 525 KB

english, 2016

Studies on the Enantioselective Iminium Ion Trapping of Radicals Triggered by an Electron-Relay Mechanism

Bahamonde, Ana, Murphy, John J., Savarese, Marika, Brémond, Éric, Cavalli, Andrea, Melchiorre, Paolo

Журнал:

Journal of the American Chemical Society

Рік:

2017

Мова:

english

Файл:

PDF, 1.18 MB

english, 2017

Prevalência de Transtornos Mentais Comuns e Fatores Associados em Estudantes de Medicina: um Estudo Comparativo

Ferreira, Carlos Magno Guimarães, Kluthcovsky, Ana Claudia Garabeli Cavalli, Cordeiro, Tatiana Menezes Garcia

Журнал:

Revista Brasileira de Educação Médica

Рік:

2016

Файл:

PDF, 230 KB

2016

Guest Editorial: Special issue on Testing Software and Systems

Yenigun, Husnu, Yevtushenko, Nina, Cavalli, Ana Rosa

Журнал:

Software Quality Journal

Рік:

2019

Мова:

english

Файл:

PDF, 106 KB

english, 2019

Vegetable Consumption and Factors Associated with Increased Intake among College Students: A Scoping Review of the Last 10 Years

Mello Rodrigues, Vanessa, Bray, Jeffery, Fernandes, Ana Carolina, Luci Bernardo, Greyce, Hartwell, Heather, Secchi Martinelli, Suellen, Lazzarin Uggioni, Paula, Barletto Cavalli, Suzi, Proença, Rossan

Журнал:

Nutrients

Рік:

2019

Файл:

PDF, 748 KB

2019

Identification and biological activity of lectins of different subunit composition isolated from Phaseolus vulgaris L var athropurpurea

Ana Martínez-Aragón, Carmen Cavallé, Gema Frühbeck, Alicia Tosar, Santiago Santidrián, James C Stewart, Luis Rubio, A Pusztai

Журнал:

Journal of the Science of Food and Agriculture

Рік:

1995

Мова:

english

Файл:

PDF, 898 KB

english, 1995

Testing methods for SDL systems

Ana R. Cavalli, Byoung-Moon Chin, Kilnam Chon

Журнал:

Computer Networks and ISDN Systems

Рік:

1996

Мова:

english

Файл:

PDF, 1.54 MB

english, 1996

From UML models to automatic generated tests for the dotLRN e-learning platform

Ana Cavalli, Stéphane Maag, Sofia Papagiannaki, Georgios Verigakis

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2005

Мова:

english

Файл:

PDF, 433 KB

english, 2005

Secure hosts auto-configuration in mobile ad hoc networks

Ana Cavalli, Jean-Marie Orset

Журнал:

Ad Hoc Networks

Рік:

2005

Мова:

english

Файл:

PDF, 414 KB

english, 2005

Comparative assessment of matrix metalloproteinase (MMP)-2 and MMP-9, and their inhibitors, tissue inhibitors of metalloproteinase (TIMP)-1 and TIMP-2 in preeclampsia and gestational hypertension

Ana C.T. Palei, Valeria C. Sandrim, Ricardo C. Cavalli, Jose E. Tanus-Santos

Журнал:

Clinical Biochemistry

Рік:

2008

Мова:

english

Файл:

PDF, 375 KB

english, 2008

Alterations in cyclic GMP levels in preeclampsia may reflect increased B-type natriuretic peptide levels and not impaired nitric oxide activity

Valeria C. Sandrim, Ana C.T. Palei, Jonas T. Sertório, Lorena M. Amaral, Ricardo C. Cavalli, Jose E. Tanus-Santos

Журнал:

Clinical Biochemistry

Рік:

2011

Мова:

english

Файл:

PDF, 149 KB

english, 2011

A formal validation methodology for MANET routing protocols based on nodes’ self similarity

Stephane Maag, Cyril Grepet, Ana Cavalli

Журнал:

Computer Communications

Рік:

2008

Мова:

english

Файл:

PDF, 625 KB

english, 2008

A passive testing approach based on invariants: application to the WAP

Emmanuel Bayse, Ana Cavalli, Manuel Núñez, Fatiha Zaïdi

Журнал:

Computer Networks

Рік:

2005

Мова:

english

Файл:

PDF, 726 KB

english, 2005

Testing a probabilistic FSM using interval estimation

Iksoon Hwang, Ana Cavalli

Журнал:

Computer Networks

Рік:

2010

Мова:

english

Файл:

PDF, 728 KB

english, 2010

FSM-based conformance testing methods: A survey annotated with experimental evaluation

Rita Dorofeeva, Khaled El-Fakih, Stephane Maag, Ana R. Cavalli, Nina Yevtushenko

Журнал:

Information and Software Technology

Рік:

2010

Мова:

english

Файл:

PDF, 948 KB

english, 2010

Changes in Fetal and Maternal Doppler Parameters Observed During Acute Severe Hypertension Treatment with Hydralazine or Labetalol: A Randomized Controlled Trial

Maria Rita F. Baggio, Wellington P. Martins, Ana Carolina S. Calderon, Aderson T. Berezowski, Alessandra Cristina Marcolin, Geraldo Duarte, Ricardo C. Cavalli

Журнал:

Ultrasound in Medicine & Biology

Рік:

2011

Мова:

english

Файл:

PDF, 97 KB

english, 2011

Guest editorial

Omar Rafiq, Ana Cavalli

Журнал:

Computer Networks and ISDN Systems

Рік:

1996

Мова:

english

Файл:

PDF, 299 KB

english, 1996

Standardization of formal methods in conformance testing of communication protocols

Ana R. Cavalli, Jean Philippe Favreau, Marc Phalippou

Журнал:

Computer Networks and ISDN Systems

Рік:

1996

Мова:

english

Файл:

PDF, 1.43 MB

english, 1996

New approaches for passive testing using an Extended Finite State Machine specification

Ana Cavalli, Caroline Gervy, Svetlana Prokopenko

Журнал:

Information and Software Technology

Рік:

2003

Мова:

english

Файл:

PDF, 312 KB

english, 2003

Advanced Topics on SDL and MSC

Ana Rosa Cavalli

Журнал:

Computer Networks

Рік:

1999

Мова:

english

Файл:

PDF, 39 KB

english, 1999

Test suite minimization for testing in context

Ricardo Anido, Ana R. Cavalli, Luiz Paula Lima Jr, Nina Yevtushenko

Журнал:

Software Testing, Verification and Reliability

Рік:

2003

Мова:

english

Файл:

PDF, 213 KB

english, 2003

Exhaustive analysis and simulation for distributed systems, both sides of the same coin

Ana R. Cavalli, Etienne Paul

Журнал:

Distributed Computing

Рік:

1988

Мова:

english

Файл:

PDF, 1.09 MB

english, 1988

Validation of the GSM-map protocol

Ana CAVALLI, Melania Ionescu

Журнал:

annals of telecommunications - annales des télécommunications

Рік:

2000

Мова:

english

Файл:

PDF, 1.19 MB

english, 2000

Application of a formal testing methodology to wireless telephony networks

Ana Cavalli, Amel Mederreg, Fatiha Zaidi

Журнал:

Journal of the Brazilian Computer Society

Рік:

2004

Мова:

english

Файл:

PDF, 1.16 MB

english, 2004

Une plate-forme de validation multi-protocoles et multi-services Résultats d’expérimentation

Pierre Combes, Wei Monin, Ana Cavalli, Amel Mederreg, Fatiha Zaïdi, Richard Castanet, Marcien Mackaya, Patrice Laurençot

Журнал:

annals of telecommunications - annales des télécommunications

Рік:

2005

Файл:

PDF, 3.03 MB

2005

Influence of gestational diabetes mellitus on the stereoselective kinetic disposition and metabolism of labetalol in hypertensive patients

Teresa Maria J. P. Carvalho, Ricardo de Carvalho Cavalli, Sérgio P. Cunha, Cláudia O. de Baraldi, Maria P. Marques, Natalícia J. Antunes, Ana Leonor P. C. Godoy, Vera Lucia Lanchote

Журнал:

European Journal of Clinical Pharmacology

Рік:

2011

Мова:

english

Файл:

PDF, 155 KB

english, 2011

Ultrasonography in pregnant women with antiphospholipid syndrome using salicylic acid and heparin

Ana Carolina S. Calderon, Aderson T. Berezowski, Alessandra Cristina Marcolin, Wellington P. Martins, Geraldo Duarte, Ricardo C. Cavalli

Журнал:

Archives of Gynecology and Obstetrics

Рік:

2011

Мова:

english

Файл:

PDF, 192 KB

english, 2011

Polyhomeotic has a tumor suppressor activity mediated by repression of Notch signaling

Martinez, Anne-Marie, Schuettengruber, Bernd, Sakr, Samy, Janic, Ana, Gonzalez, Cayetano, Cavalli, Giacomo

Журнал:

Nature Genetics

Рік:

2009

Мова:

english

Файл:

PDF, 1.52 MB

english, 2009

Applying formal methods to PCEP: an industrial case study from modeling to test generation

Iksoon Hwang, Ana R. Cavalli, Mounir Lallali, Dominique Verchere

Журнал:

Software Testing, Verification and Reliability

Рік:

2012

Мова:

english

Файл:

PDF, 1.45 MB

english, 2012

Fatigue after treatment in breast cancer survivors: prevalence, determinants and impact on health-related quality of life

Ana Claudia Garabeli Cavalli Kluthcovsky, Almir Antonio Urbanetz, Denise Siqueira de Carvalho, Eliane Mara Cesario Pereira Maluf, Geovana Cristina Schlickmann Sylvestre, Sergio Bruno Bonatto Hatschbac

Журнал:

Supportive Care in Cancer

Рік:

2012

Мова:

english

Файл:

PDF, 171 KB

english, 2012

Cytogenetic analysis in human bone marrow transplantation

Enilze M.S.F. Ribeiro, Iglenir J. Cavalli, Ana Teresa L. Schmid, Déborah A. Cornélio, Alice S. Tokutake, Valéria M.M. Sperandio-Roxo, Juan Manuel Rodriguez, Ricardo Pasquini

Журнал:

Cancer Genetics and Cytogenetics

Рік:

1996

Мова:

english

Файл:

PDF, 549 KB

english, 1996

Chromosome alterations associated with positive and negative lymph node involvement in breast cancer

Lismeri Wuicik, Luciane Regina Cavalli, Déborah Afonso Cornélio, Ana Teresa Schmid Braz, Miriam L. Barbosa, Rubens Silveira Lima, Cícero Andrade Urban, Luiz Fernando Bleggi Torres, Enilze Maria S. F.

Журнал:

Cancer Genetics and Cytogenetics

Рік:

2007

Мова:

english

Файл:

PDF, 346 KB

english, 2007

A small chemical library of 2-aminoimidazole derivatives as BACE-1 inhibitors: Structure-based design, synthesis, and biological evaluation

Gianpaolo Chiriano, Angela De Simone, Francesca Mancini, Daniel I. Perez, Andrea Cavalli, Maria Laura Bolognesi, Giuseppe Legname, Ana Martinez, Vincenza Andrisano, Paolo Carloni, Marinella Roberti

Журнал:

European Journal of Medicinal Chemistry

Рік:

2012

Мова:

english

Файл:

PDF, 1.22 MB

english, 2012

Increased circulating cell-free hemoglobin levels reduce nitric oxide bioavailability in preeclampsia

Valeria C. Sandrim, Marcelo F. Montenegro, Ana C.T. Palei, Ingrid F. Metzger, Jonas T.C. Sertorio, Ricardo C. Cavalli, Jose E. Tanus-Santos

Журнал:

Free Radical Biology and Medicine

Рік:

2010

Мова:

english

Файл:

PDF, 687 KB

english, 2010

A systematic approach to integrate common timed security rules within a TEFSM-based system specification

Amel Mammar, Wissam Mallouli, Ana Cavalli

Журнал:

Information and Software Technology

Рік:

2012

Мова:

english

Файл:

PDF, 690 KB

english, 2012

Tight bound on the length of distinguishing sequences for non-observable nondeterministic Finite-State Machines with a polynomial number of inputs and outputs

Iksoon Hwang, Nina Yevtushenko, Ana Cavalli

Журнал:

Information Processing Letters

Рік:

2012

Мова:

english

Файл:

PDF, 126 KB

english, 2012

An association between plasma ferritin concentrations measured 48 h after delivery and postpartum depression

Glòria Albacar, Teresa Sans, Rocío Martín-Santos, Lluïsa García-Esteve, Roser Guillamat, Julio Sanjuan, Francesca Cañellas, Mònica Gratacòs, Pere Cavalle, Victoria Arija, Ana Gaviria, Alfonso Gutiérre

Журнал:

Journal of Affective Disorders

Рік:

2011

Мова:

english

Файл:

PDF, 189 KB

english, 2011

InRob: An approach for testing interoperability and robustness of real-time embedded software

Fátima Mattiello-Francisco, Eliane Martins, Ana Rosa Cavalli, Edgar Toshiro Yano

Журнал:

Journal of Systems and Software

Рік:

2012

Мова:

english

Файл:

PDF, 572 KB

english, 2012

Association between matrix metalloproteinase (MMP)-2 polymorphisms and MMP-2 levels in hypertensive disorders of pregnancy

Ana C.T. Palei, Valeria C. Sandrim, Lorena M. Amaral, Jackeline S.R. Machado, Ricardo C. Cavalli, Geraldo Duarte, Jose E. Tanus-Santos

Журнал:

Experimental and Molecular Pathology

Рік:

2012

Мова:

english

Файл:

PDF, 481 KB

english, 2012

Clonal chromosomal alterations in fibroadenomas of the breast

Luciane Regina Cavalli, Déborah Afonso Cornélio, Lismeri Wuicik, Ana Teresa Schmid Bras, Enilze M.S.F. Ribeiro, Rubens Silveira Lima, Cı́cero Andrade Urban, Silvia Regina Rogatto, Iglenir João Cavalli

Журнал:

Cancer Genetics and Cytogenetics

Рік:

2001

Мова:

english

Файл:

PDF, 112 KB

english, 2001

Comprehensive cytogenetic evaluation of a mature ovarian teratoma case

Ana Teresa Schmid-Braz, Luciane Regina Cavalli, Déborah Afonso Cornélio, Lismeri Wuicik, Enilze M.S.F. Ribeiro, Luiz F. Bleggi-Torres, Rubens Silveira Lima, Cı́cero de Andrade Urban, Bassem R. Haddad,

Журнал:

Cancer Genetics and Cytogenetics

Рік:

2002

Мова:

english

Файл:

PDF, 96 KB

english, 2002

Clonal Karyotypic Abnormalities in Gynecomastia

Déborah Afonso Cornélio, Ana Teresa Leoni Schmid-Braz, Luciane Regina Cavalli, Rubens S Lima, Enilze M.S.F Ribeiro, Iglenir João Cavalli

Журнал:

Cancer Genetics and Cytogenetics

Рік:

1999

Мова:

english

Файл:

PDF, 3.14 MB

english, 1999